combinatory logic
美英
- un.组合逻辑
- 网络组合子逻辑
combinatory logic
combinatory logic
组合逻辑
数学专业英语词汇_数学吧_百度贴吧 ... combinatories 组合分析 combinatory logic 组合逻辑 combinatory topology 组合拓朴学 ...
组合子逻辑
若仅形式化函数作用的注记而不允许 lambda 表达式,就得到了组合子逻辑 (combinatory logic)。形式化定义 lambda 演算中的 …
1